madoko --pdf -vv --png --odir=build P4Runtime-spec.mdk